00 o O in 00 o X Symmetries of 2nd order ODE: / + G{x)y' + H{x)y = 0. Mehdi Nadjafikhah* Seyed-Reza Hejazi^ Abstract o q. r~| . This paper is devoted to study the Lie algebra of hnear symmetries j^ I of a homogenous 2nd order ODE, by the method of Kushner, Lychagin and Robstov [1]. Key Words: linear differential equation, differential operator, symmetry. "> ■ A.M.S. 2000 Subject Classification: IWxx, 32Wxx , 76Mxx. 00 ■ O Introduction i> O I Symmetries of differential equations make a magnificent portion in theory of differential equations, and there are so much researches in this object. Here we are going to decompose the structure of Lie algebra of linear symmetries of ODE, y" + G{x)y' + H{x)y = 0, where G and H are smooth functions of x, to two subalgebras which are called even and odd symmetries of ODE. 5^ I First the meaning of even and odd symmetries for a differential operator is given, next we will find these two concepts for the differential operator corresponding to ODE instead of the equation itself. Reader is referred to [2] and [3] for some fundamental contexts in geometry of manifolds and their applications to theory of differential equations. * Department of Mathematics, Iran University of Science and Technology, Narmak, Tehran, I.R.Iran, e-mail: m_ nadjafikhah@iust.ac.ir ^e-mail: reza_ hejazi@iust.ac.ir 1 Symmetries of ODEs Consider a general n— th order differential equation A = which is defined on n— th jet space of p independent and q dependent variables. As we know a symmetry of the system of above differential equation means a point (or contact) transformation which maps solutions to solutions. In the case of point transformation, the infinitesimal generator v from a Lie algebra g cor- responding to group transformation makes a symmetry of A = 0, if its n— th prolongation annihilate A, i.e., v*^"^(A) = 0. See [2] and [3] for more details of symmetries of differential equations. It is noteworthy that all manifolds, vector fields, differential forms and... are seem to be smooth in the sequel. 1.1 Generating Functions Let us consider an ODE of {k + 1)— th order which is resolved with respect to the highest derivative: |/(^+^) = F(x,y,y', ...,y'^^^). This equation determines a one-dimensional distribution on the k—th jet space with one independent variable x with coordinate {x,y = po,pi, ...,pk), which is generated by the vector field ^ d d d ^ d ox dpo opk-i opk or by the contact differential 1-forms oj^ = dpo — pidx, • • • , co^ = dpk^i — Pkdx, cj*^"*"^ = dpk — Fdx. Consider a vector field X on manifold M, X is called a symmetry of the distribution P, if the distribution is invariant under the flow of X. Denote by Sym(P) the set of all symmetries id P. If X belongs to P then it is called a characteristic symmetry and the set of all characteristic symmetries of X is denoted by Char(P) which makes an ideal of Sym(P). Definition 1.1.1 The quotient Lie algebra Shuf(P) = Sym(P)/Char(P), is called the set of shuffling symmetries of P. Therefore any shuffling symmetry S G Shuf(P) has a unique representative of the form ^ = /t^ + W)7^ + • ■ • + ^'(/)/-, opo OPl OPk where / is a smooth functions of (a;,po?Pi, ...iPk) and P* = I?(I?*^^), for the reason see [1]. The function / is called a generating function of the symmetry S and we write Sf instead of S. Therefore, Sf is a shuffling symmetry of the ODE if and only if the generation function / satisfies the following Lie equation: Let us denote by A^ : C°^(lR^+2) _^ C'^(r''+'^)^ the following hnear A;-th order scalar differential operator: which is called the linearization of i/('^+^) = F{x,y,y', ...,y'^^^). Theorem 1.1.2 There exist the isomorphism Shuf(P) = kerA^ between solutions of the Lie equation and shuffling symmetries. The Shuf (P) is a Lie algebra for any distribution P with respect to the Poisson-Lie bracket., which is defined in the following way: |S,.SJ:^%,,^|:(p-(/)|-D-te)|) for any f,g^ ker Ap- Example 1.1.3 Functions f = a{x,po)pi + b{x,pQ) are generating functions of the vector fields on M^ of the form b{x,po)-^ ctix,Po)-§^- 1.2 Linear Symmetries A shuffling symmetry Sf is called a linear symmetry, if the generating func- tion / is linear in po, ...,pk, i.e., / = bo{x)pQ + • ■ • + bk{x)pk- With any linear symmetry we associate a linear operator A/ = 6o+' ■ ■+bkd'', where d = d/dx, and we rewrite the Lie equation for linear symmetries in terms of the algebra of linear differential operators. Lemma 1.2.1 For any linear differential operator A = aQ + ■ ■ ■ + and"" and L = Iq + ■ ■ ■ + Ikd^ + c^'^+i there are unique differential operators Ca and Ra of order < n — k — 1 and < k respectively such that A = Ca o L + Ra- Here we have a very important theorem: Theorem 1.2.2 [1] A differential operator Aj = bo + ■ ■ ■ + hkd^ corresponds to a shuffling symmetry f = 6oPo + " ■ ■ + bkPk of the linear differential equation L{h) = 0, where L = Aq + ■ ■ ■ + A^d^ + d^^^ , if and only if there is a differential operator V/ of order k and such that L o Aj = V/ o L. Moreover, the commutator [/, g] of linear symmetries corresponds to the remainder R of division [Aj, A^] by L; that is, R[Aj>,Aa] ~ ^[/.s]- Denote by 23 (L) the Lie algebra of all differential operators A such that L o A = V o L, for some uniquely determined differential operator V. If Sym(L) denote the Lie algebra of linear symmetries of differential operator L, then we have Theorem 1.2.3 1. If A e %{L) then Ra e Sym(L). 2. The residue map R : 23 (L) -^ Sym(L), is a Lie algebra homomorphism. 2 Linear Symmetries of Operators The differential operator k L^ = (_i)fe+i5^'+i + ^(-1)^9' o Ai, 1=0 is said to be adjoint to the operator k L = d''+^ + Y.A,d\ (2.1) j=0 A differential operator L is said to be self-adjoint if L^ = L and skew- adjoint if L^ = — T. The correspondence A/ ^^ VT establishes an isomorphism between linear symmetries of the differential equation L{h) = and linear symmetries of the adjoint equation L'^iji) = 0. 2.1 Z2— Grading on *b(L) Let us now assume that L is self-adjoint or skew-adjoint. Then if A G S(L) so V'^ does. using the involution we can decompose 5B(L) is to the direct some: ^(L) = %q{L)®^i{L) where <Bo(L) = {A: LoA = -A^oL}, »i(L) = {A: LoA = A^oL}. We will define Zs-parity £:(A) = G Z2 for A G <8o(-^) and £(A) = 1 G Z2 for A G Si(L), and will consider the above decomposition as Z2— grading on Theorem 2.1.1 Let L he a self or skew- adjoint differential operator. 1. Then the commutator of operators determines a Lie algebra structure on 5B(L), such that [A„,A6] e^a+b{I^) zfAa G S„(L), Afc G ^biL), a, be Z2. 2. Let Sym(L) be the Lie algebra of Linear symmetries of operator L, and Sym„(L) = R{^aiL)) for a G Z2 and Symfe(L) = R{^b{L)) for b G Z2. Then Sym(L) = SymQ(L) ® Sjm.-^^{L) and [Sym„(L),Symfe(L)] C Sym^+ft(L). We call elements of Symg(L) by even symmetries and elements of Syni]^ (L) by odd symmetries of the equation L{h) = 0. 2.2 Symmetries of Operator d^ + G{x)d + i7(a:) In this part we apply the results to the corresponding operator of 2nd ODE y"^G{x)y' + H{x), (2.2) It is easy to see that in order two one has only self adjoint operator, thus the following operator is self adjoint and consequently, we will work on d^ + G{x)d + H{x), (2.3) instead of equation 2.2. This operator is self adjoint. Therefore the algebra of linear symmetries in Z2— graded. Let us begin with SymQ(L). If A = Aq + Aid & SymQ(L) then we have L o A = -A^ o L. If A^ = Ao- A[ - Aid then LoA = Aid^ + {Ao + 2A'i + AiG)d^ + [2A'o + A'; + G{Ao + A[) + AiH +A[; + GA'^ + HAq, -Aid^ + {Aq - A'l - AiG)d^ d A' oL G{Ao - A[) - Ai{G + G') HiAo - A[) - AiH'. d Therefore, A G SymQ(L) implies Aq = — 2^1 ^^'i the function Ai = w should satisfy the following differential equation: w'" + (2H -G^ - 2G')w' + (h' - GG' - G")w = 0. (2.4) We denote the differential operator corresponding to (2.4) by: L = ^ + (2H-G^ - 2G") d+[H' - GG' - G") . (2.5) If A e Sym^(L) then Lo A = A^ oL and we obtain Ai = and A'q = 0. Thus A e Sym]^(L) is and only if A proportional to the identity operator. Finally we have the following theorem which is a generalization of the theorem 2.5.1 of[l]. Theorem 2.2.1 The Lie algebra of linear symmetries of the differential op- erator (2. 5) has the following description: 1. Symo(L) = [-\w' + wd: L{w) = o}. 2. Symi(L) = R. Example 2.2.2 Let us suppose that in (2.3) we have G{x) = 0. Thus the new operator is called Schrodinger operator. It is possible to see that the even symmetries of Schrodinger operator is isomorphic to the Lie algebra s/(2). And of course the Schrodinger operator does not have any nontrivial odd symmetries. References [1] KusHNER, A,. Lychagin, V. AND RoBSTOV, V., Contact Geome- try and Non-Linear Differential Equations, Cambridge University Press, Cambridge, 2007. [2] Olver, p. J., Equivalence, Invariant and Symmetry, Cambridge Univer- sity Press, Cambridge 1995. [3] Olver, P. J., Applications of Lie Groups to Differential equations. Sec- ond Edition, GTM, Vol. 107, Springer Verlage, New York, 1993.